1. Computability /
پدیدآورنده: George J. Tourlakis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
2. Lectures in logic and set theory
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
3. Lectures in logic and set theory
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
4. Mathematical logic
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
5. Mathematical logic
پدیدآورنده: Tourlakis, George J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
6. Mathematical logic
پدیدآورنده: Tourlakis, George J.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
7. Mathematical logic
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
8. Mathematical logic
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
9. Mathematical logic
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع: ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
